p(e0, e0).
q(e0, e0).
r(f0, f0).
p(e1, e1).
q(e1, e1).
r(f1, f1).
p(e2, e2).
q(e2, e2).
r(f2, f2).
p(e3, e3).
q(e3, e3).
r(f3, f3).
p(e4, e4).
q(e4, e4).
r(f4, f4).
p(e5, e5).
q(e5, e5).
r(f5, f5).
p(e6, e6).
q(e6, e6).
r(f6, f6).
p(e7, e7).
q(e7, e7).
r(f7, f7).
p(e8, e8).
q(e8, e8).
r(f8, f8).
p(e9, e9).
q(e9, e9).
r(f9, f9).
p(e10, e10).
q(e10, e10).
r(f10, f10).
p(e11, e11).
q(e11, e11).
r(f11, f11).
p(e12, e12).
q(e12, e12).
r(f12, f12).
p(e13, e13).
q(e13, e13).
r(f13, f13).
p(e14, e14).
q(e14, e14).
r(f14, f14).
p(e15, e15).
q(e15, e15).
r(f15, f15).
p(e16, e16).
q(e16, e16).
r(f16, f16).
p(e17, e17).
q(e17, e17).
r(f17, f17).
p(e18, e18).
q(e18, e18).
r(f18, f18).
p(e19, e19).
q(e19, e19).
r(f19, f19).
p(e20, e20).
q(e20, e20).
r(f20, f20).
p(e21, e21).
q(e21, e21).
r(f21, f21).
p(e22, e22).
q(e22, e22).
r(f22, f22).
p(e23, e23).
q(e23, e23).
r(f23, f23).
p(e24, e24).
q(e24, e24).
r(f24, f24).
p(e25, e25).
q(e25, e25).
r(f25, f25).
p(e26, e26).
q(e26, e26).
r(f26, f26).
p(e27, e27).
q(e27, e27).
r(f27, f27).
p(e28, e28).
q(e28, e28).
r(f28, f28).
p(e29, e29).
q(e29, e29).
r(f29, f29).
p(e30, e30).
q(e30, e30).
r(f30, f30).
p(e31, e31).
q(e31, e31).
r(f31, f31).
p(e32, e32).
q(e32, e32).
r(f32, f32).
